蟻本 1-1 くじびき
code: python
n = int(input())
m = int(input())
k = list(map(int, input().split()))
f = False
for a in range(n):
for b in range(n):
for c in range(n):
for d in range(n):
if (ka + kb + kc + kd == m): f = True
print("Yes") if f else print("No")